Temporal Forces and Type Coercion in Strings
نویسندگان
چکیده
Durative forces are introduced to Finite State Temporality (the application of Finite State Methods to Temporal Semantics). Punctual and durative forces are shown to have natural representations as fluents which place certain constraints on strings. These forces are related to previous work on stative explanations of aspectual classification. Given this extended ontology, it is shown how type coercion can be handled in this framework.
منابع مشابه
The Analytic Technique and Experimental Research Methods of Post-buckling about Slender Rod Strings in Wellbore
The buckling behavior of rod strings in wellbore is one of the key issues in petroleum engineering. The slender rod strings in vertical wellbore were selected as research objects. Based on the energy method, the critical load formulas of sinusoidal and helical buckling were derived for the string with the bottom of the wellbore pressure. According to the sinusoidal and helical buckling’s geomet...
متن کاملA Mechanical Model and its Experimental Verification for a Water Injection String in a Highly Deviated Well
Water injection strings in highly deviated wells are subjected to complex forces on the string bore. In this work, a mechanical model is developed for these forces and for those on downhole tools. On the basis of this model, and taking account of the characteristics of the string in different working conditions, a temperature field model and a pressure field model are introduced, and a statical...
متن کاملEvent Coercion of Mandarin Chinese Temporal Connective hou 'after'
Unlike its English equivalent after, which often takes NP complement, Chinese temporal connective hou tends to take VP complement. In terms of type coercion, while after seems to generally license event coercion, Chinese hou does not (with a few exceptions), as in most cases the presence of a verb is required for the houconstruction (and the sentence) to be correct. Rather than attributing this...
متن کاملConstructing Situations and Time
Situations serving as partial worlds as well as events in natural language semantics are constructed from a type-theoretic interpretation of firstorder formulae and (after a type reduction) temporal formulae. Limitations of the Russell-Wiener-Kamp derivation of time from events are discussed and overcome to give a more widely applicable account of temporal granularity. Finite situations are for...
متن کاملAspectual Shift as Type Coercion Draft 1
The phenomenon of aspectual shift has been discussed by several people over the last ten years using an analogy with type coercion in programming languages. This paper tries to take the analogy literally and to spell out the details for an analysis of some common kinds of aspectual shift in English under the innuence of some types of temporal modiication. A model theoretic basis for this kind o...
متن کامل